- автоматический верификатор
- information securityeng.mechanical verifierrus.автоматический верификаторukr.автоматичний веріфікаторСхема обеспечения автоматического доказательства правильности программ. Включает генератор условий верификаций и блок доказательства теорем.
English-Russian dictionary of information security . 2014.
